proof of program

[计] 程序证明